Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
201	Logic in question L. De Mol When the bubble of symbolic logic finally burst. Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-09-24 06:40:44 Computer science Theory of computation Alan Turing Models of computation Church–Turing thesis Turing machine Logic Algorithm Computability Computability theory Theoretical computer science Mathematics
202	Part IV Recursion By now you’re very familiar with the idea of implementing a function by composing other functions. In effect we are breaking down a large problem into smaller parts. The idea of recursion—as usual, Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:15 Computing Recursion Computability theory Theory of computation Mathematical logic There Was an Old Lady Who Swallowed a Fly FO Infinite loop Reduction Computer programming Theoretical computer science Programming idioms
203	Mixin modules in a call-by-value setting Tom Hirschowitz and Xavier Leroy INRIA Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France {Tom.Hirschowitz,Xavier.Leroy}@inria.fr Abstract. The ML module system Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2003-05-25 10:55:37 Functions and mappings Mixin Applied mathematics Lambda calculus Function Μ operator Calculus Mathematics Mathematical logic Computability theory
204	FerienAkademie[removed]Course ”Quantum computation” Quantum algorithm for Hilbert’s 10th problem Add to Reading List Source URL: yury.name Language: English - Date: 2006-01-02 14:44:12 Mathematical logic Theory of computation Computability theory Computational complexity theory Halting problem Diophantine equation Entscheidungsproblem Quantum computer Algorithm Theoretical computer science Mathematics Applied mathematics
205	Drawing Hands, by M. C. Escher (lithograph, 1948) 12 The Leap of Faith Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:16 Programming idioms Computing Computability theory Recursion Algorithm Factorial Mathematics Mathematical logic Theoretical computer science
206	PRP - Parallel Recursive Procedures Arne Maus, Dept. of Informatics, University of Oslo email: arnem@i.uio.no Tornn Aas, Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-05-08 04:37:51 Programming idioms Mathematical logic Theoretical computer science Computability theory Recursion Algorithm Subroutine Tree traversal Parallel computing Computer programming Computing Software engineering
207	miniKanren, Live and Untagged Quine Generation via Relational Interpreters (Programming Pearl) William E. Byrd Eric Holk Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2012-10-22 13:47:39 Software engineering Computability theory Eval Scheme Env Combinatory logic Computing Lambda calculus Theoretical computer science
208	Mechanized Verification of CPS Transformations Zaynah Dargaye and Xavier Leroy INRIA Paris-Rocquencourt B.P. 105, 78153 Le Chesnay, France [removed], [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-07-30 10:00:27 Mathematical logic Models of computation Logic in computer science Computability theory Formal methods Continuation-passing style Denotational semantics De Bruijn notation De Bruijn index Theoretical computer science Lambda calculus Mathematics
209	Bidirectional parsing a functional/logic perspective Peter Kourzanov NXP Eindhoven/TU Delft, Netherlands [removed] Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Formal languages Parsing Computability theory Recursion Compiler construction Parsing expression grammar Left recursion Syntactic predicate Attribute grammar Software engineering Computing Computer programming
210	Resource Bound Certification Karl Crary Stephanie Weirich Carnegie Mellon University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-11-01 14:35:06 Computability theory Deduction Proof theory Entailment Logical consequence Metalogic Ordinal number Lambda calculus Ordinal arithmetic Logic Mathematical logic Mathematics

UPDATE